COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	circum.ex[f82,jmc]	Examples for circumscription paper
C00005 ENDMK
C⊗;
circum.ex[f82,jmc]	Examples for circumscription paper

birds can fly unless prevented

A person lives in the same city as his wife and the same city
as his employer

The Russian story about the peas

Quakers are ordinarily pacifists and republicans ordinarily aren't.

A physical quantity is conjectured to depend only on what it is
known to depend on.

In missionaries and cannibals we conjecture there isn't a bridge.
The key element of circumscriptive conjecture is to use only part of the
facts in memory.

Also there isn't a hole in the boat or anything else wrong with
the boat.

A concept is conjectured to be unambiguous in the present case.

Entities are conjectured to be natural kinds.

Features are conjectured to be absent unless there is evidence that
they are present.  For example, for a dog to have only three legs
is a feature.

Blocks on the table and the rules for moving blocks.

John does what John thinks will achieve John's goal.
John does what will achieve John's goal.
John achieves John's goal.
What John wants John gets.

The polar bear.

Although ever person is male or female, it may be worthwhile to
introduce a generic sex as a default.  Generic sex stands for
"sex irrelevant".

The context of a phrase is assumed to be as standard as the
explicit context permits..
We suppose that there are wider and wider contexts, and the
denotation of an expression is assumed to depend on the
narrowest possible context.

A person is assumed to know a consequence of his beliefs
unless there is some reason why not.

Note that there is no contradiction between having  ∃x.¬P(x)
and having  P(x)  the default for each  x.